how to prove equivalence relation